Lean-GAP: Dataset de álgebra formalizada para posgrado Descubre Lean-GAP: 430 problemas de álgebra formalizados en Lean 4. Pipeline automatizado con verificación humana. Desafíos y metodología. 2026-06-03 · 2 min